The Infeasibility of Experimental Quanti cation of Life - CriticalSoftware
نویسندگان
چکیده
This paper aarms that quantiication of life-critical software reliability is infeasible using statistical methods whether applied to standard software or fault-tolerant software. The key assumption of software fault tolerance|separately programmed versions fail independently|is shown to be problematic. This assumption cannot be justiied by experimentation in the ultrareliability region and subjective arguments in its favor are not suuciently strong to justify it as an axiom. Also, the implications of the recent multiversion software experiments support this aarmation.
منابع مشابه
The Infeasibility of Experimental Quanti cation of Life-Critical Software Reliability
This paper a rms that quanti cation of life-critical software reliability is infeasible using statistical methods whether applied to standard software or faulttolerant software. The key assumption of software fault tolerance|separately programmed versions fail independently|is shown to be problematic. This assumption cannot be justi ed by experimentation in the ultrareliability region and subje...
متن کاملA new approach to rank the decision making units in presence of infeasibility in intuitionistic fuzzy environment
Data envelopment analysis (DEA) is a linear programming based methodology to determine the relative performance efficiencies of homogeneous decision making units (DMUs). In real world applications, some input and output datas do not possess crisp/fuzzy essence but they possess intuitionistic fuzzy (IF) essence. So, in this study, we develop an IF BCC (IFBCC) and an IF super efficiency BCC (IFSE...
متن کاملA Method for Solving Super-Efficiency Infeasibility by Adding virtual DMUs with Mean Values
Using super-efficiency, with regard to ranking efficient units, is increasing in DEA. However, this model has some problems such as the infeasibility. Thus, this article studies infeasibility of the input-based super-efficiency model (because of the zero inputs and outputs), and presents a solution by adding two virtual DMUs with mean values (one for inputs and one for outputs). Adding virtual ...
متن کاملAlgorithms and Applications for Universal Quanti cation in Relational
Queries containing universal quanti cation are used in many applications, including business intelligence applications and in particular data mining. We present a comprehensive survey of the structure and performance of algorithms for universal quanti cation. We introduce a framework that results in a complete classi cation of input data for universal quanti cation. Then we go on to identify th...
متن کاملA Remark on Collective Quanti cation
We consider collective quanti cation in natural language. For many years the common strategy in formalizing collective quanti cation has been to de ne the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, de ne the collective interpretations of collective determiners systematically from the stan...
متن کامل